(0.2.2) Abstraction and modeling